how to change the document title for java docs